uint32[256] static_values
uint32[] unbounded_values
